de Amorim, Arthur Azevedo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Lisbon, Portugal (2016.6.27-2016.7.1)] 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

Juglaret, Yannis, Hritcu, Catalin, Amorim, Arthur Azevedo De, Eng, Boris, Pierce, Benjamin C.

Year:

2016

Language:

english

File:

PDF, 498 KB

english, 2016

2

[ACM Press the 2018 ACM SIGSAC Conference - Toronto, Canada (2018.10.15-2018.10.19)] Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18 - When Good Components Go Bad

Abate, Carmine, Tolmach, Andrew, Azevedo de Amorim, Arthur, Blanco, Roberto, Evans, Ana Nora, Fachini, Guglielmo, Hritcu, Catalin, Laurent, Théo, Pierce, Benjamin C., Stronati, Marco

Year:

2018

Language:

english

File:

PDF, 1.66 MB

english, 2018

3

[ACM Press the 26nd 2014 International Symposium - Boston, MA, USA (2014.10.01-2014.10.03)] Proceedings of the 26nd 2014 International Symposium on Implementation and Application of Functional Languages - IFL '14 - Really Natural Linear Indexed Type Checking

de Amorim, Arthur Azevedo, Gaboardi, Marco, Gallego Arias, Emilio Jesús, Hsu, Justin

Year:

2014

Language:

english

File:

PDF, 357 KB

english, 2014

4

Cholesterol crystal embolization caused by anticoagulant therapy

Arthur Fernandes Cortez, Thais Harumi Sakuma, Ricardo Barbosa Lima, Wagner Martignoni De Figueiredo, Heliomar de Azevedo Valle, Fernanda Amorim Tolstoy, Daniel Dal’Asta Coimbra, Omar Lupi

Journal:

International Journal of Dermatology

Year:

2009

Language:

english

File:

PDF, 181 KB

english, 2009

5

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A verified information-flow architecture

Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew

Year:

2014

Language:

english

File:

PDF, 692 KB

english, 2014

6

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Testing noninterference, quickly

Hritcu, Catalin, Hughes, John, Pierce, Benjamin C., Spector-Zabusky, Antal, Vytiniotis, Dimitrios, Azevedo de Amorim, Arthur, Lampropoulos, Leonidas

Year:

2013

Language:

english

File:

PDF, 662 KB

english, 2013

7

[IEEE 2015 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2015.5.17-2015.5.21)] 2015 IEEE Symposium on Security and Privacy - Micro-Policies: Formally Verified, Tag-Based Security Monitors

Amorim, Arthur Azevedo de, Denes, Maxime, Giannarakis, Nick, Hritcu, Catalin, Pierce, Benjamin C., Spector-Zabusky, Antal, Tolmach, Andrew

Year:

2015

Language:

english

File:

PDF, 363 KB

english, 2015

8

Testing noninterference, quickly

HRIŢCU, CĂTĂLIN, LAMPROPOULOS, LEONIDAS, SPECTOR-ZABUSKY, ANTAL, AZEVEDO DE AMORIM, ARTHUR, DÉNÈS, MAXIME, HUGHES, JOHN, PIERCE, BENJAMIN C., VYTINIOTIS, DIMITRIOS

Journal:

Journal of Functional Programming

Year:

2016

Language:

english

File:

PDF, 1.12 MB

english, 2016

9

Testing noninterference, quickly

Hritcu, Catalin, Hughes, John, Pierce, Benjamin C., Spector-Zabusky, Antal, Vytiniotis, Dimitrios, Azevedo de Amorim, Arthur, Lampropoulos, Leonidas

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 662 KB

english, 2013

10

Binding Operators for Nominal Sets

Azevedo de Amorim, Arthur

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 317 KB

english, 2016

11

A verified information-flow architecture

Azevedo de Amorim, Arthur, Collins, Nathan, DeHon, André, Demange, Delphine, Hriţcu, Cătălin, Pichardie, David, Pierce, Benjamin C., Pollack, Randy, Tolmach, Andrew

Journal:

Journal of Computer Security

Year:

2016

Language:

english

File:

PDF, 410 KB

english, 2016

12

A semantic account of metric preservation

Azevedo de Amorim, Arthur, Gaboardi, Marco, Hsu, Justin, Katsumata, Shin-ya, Cherigui, Ikram

Journal:

ACM SIGPLAN Notices

Year:

2017

Language:

english

File:

PDF, 269 KB

english, 2017

13

SAE Technical Paper Series [SAE International 21st SAE Brasil International Congress and Exhibition - (OCT. 02, 2012)] SAE Technical Paper Series - Computational Analysis of a Concept of Rear Suspension System for Off- Road Vehicle

Diniz, Diego David Silva, Ferreira, Arthur Azevedo, de Sousa Silva, Raphael, da Silva, Antonio Almeida, de Amorim @sJr., Wanderley Ferreira

Year:

2012

Language:

english

File:

PDF, 504 KB

english, 2012

14

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Probabilistic Relational Reasoning via Metrics

de Amorim, Arthur Azevedo, Gaboardi, Marco, Hsu, Justin, Katsumata, Shin-ya

Year:

2019

Language:

english

File:

PDF, 448 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски